Intel 将继续承认 Unix 为16位多用户计算机系统软件的标准,因此,Intel 将在iAPX 286微处理机上运行贝尔实验室的操作系统 Unix S......

本文清理了UNIX的发展线,在这基础上指出了UNIX的一些重要版本,以及它们各自的特点和适用场合。随后,探讨了UNIX的标准化问题,以及......

简述了消息队列、共享内存和信号量达三种通信机制的结构及其实现，并以此为基础，提出了通过实现进程间通信的强制访问控制来提高系统......

介绍了Ｕｎｉｘ Ｓｙｓｔｅｍ Ｖ ＩＰＣ（ＩｎｔｅｒＰｒｏｃｅｓｓ Ｃｏｍｍｕｎｉｃａｔｉｏｎ）及共享内存区的通信机制；以及ＩＰＣ机制与Ｕｎｉｘ内核之间的关联．最后给出应用实例：共享内存区在电子公告板ＢＢＳ系统上的实现．......

AFDX（AvionicsFullDuplexSwitchedEthernet，航空全双工交换式以太网）网络为航电系统提供了一种确定、余度的数据交换服务，其基础和核心......

...

基于Linux开发安全操作系统是提高计算机安全的重要途径,而形式化验证则是开发过程的重要和必要的环节.我们从Linux的各个子系统着......